How to extract numbers from a string without regex